Montagna, Franco: шукати на сайті Z-Library

Montagna, Franco, Simi, Giulia, Sorbi, Andrea

Рік:

2000

Мова:

english

Файл:

PDF, 250 KB

english, 2000

Taking the Pirahã seriously

Журнал:

Communications in Nonlinear Science and Numerical Simulation

Рік:

2015

Мова:

english

Файл:

PDF, 575 KB

english, 2015

Complexity of t-tautologies

Matthias Baaz, Petr Hájek, Franco Montagna, Helmut Veith

Журнал:

Annals of Pure and Applied Logic

Рік:

2001

Мова:

english

Файл:

PDF, 87 KB

english, 2001

An Algebraic Approach to Propositional Fuzzy Logic

Journal of Logic, Language and Information

Журнал:

Рік:

2000

Мова:

english

Файл:

PDF, 196 KB

english, 2000

Amalgamation and interpolation in ordered algebras

Metcalfe, George, Montagna, Franco, Tsinakis, Constantine

Журнал:

Journal of Algebra

Рік:

2014

Мова:

english

Файл:

PDF, 689 KB

english, 2014

Provability Logic || On the Proof of Solovay's Theorem

Dick de Jongh, Marc Jumelet and Franco Montagna

Журнал:

Franco Montagna, G. Michele Pinna, B. P. Tiezzi

Рік:

1991

Мова:

english

Файл:

PDF, 1.67 MB

english, 1991

Investigations on Fragments of First Order Branching Temporal Logic

Журнал:

Рік:

2002

Мова:

english

Файл:

PDF, 195 KB

english, 2002

ZFC-MODELS AS KRIPKE-MODELS

Журнал:

Franco Montagna, Lorenzo Sacchetti

Рік:

1983

Мова:

english

Файл:

PDF, 396 KB

english, 1983

Kripke-style semantics for many-valued logics

Журнал:

Рік:

2003

Мова:

english

Файл:

PDF, 192 KB

english, 2003

Functorial Representation Theorems for MVΔ Algebras with Additional Operators

Tommaso Flaminio, Franco Montagna

Журнал:

Journal of Algebra

Рік:

2001

Мова:

english

Файл:

PDF, 203 KB

english, 2001

MV-algebras with internal states and probabilistic fuzzy logics

Журнал:

International Journal of Approximate Reasoning

Рік:

2009

Мова:

english

Файл:

PDF, 295 KB

english, 2009

PAC learning of probability distributions over a discrete domain

Letizia Magnoni, Massimo Mirolli, Franco Montagna, Giulia Simi

Журнал:

Theoretical Computer Science

Рік:

2003

Мова:

english

Файл:

PDF, 307 KB

english, 2003

Interpretations of the first-order theory of diagonalizable algebras in peano arithmetic

Журнал:

Duccio Luchi, Franco Montagna

Рік:

1980

Мова:

english

Файл:

PDF, 455 KB

english, 1980

An Operational Logic of Proofs with Positive and Negative Information

Журнал:

Sándor Jenei, Franco Montagna

Рік:

1999

Файл:

PDF, 673 KB

1999

A Proof of Standard Completeness for Esteva and Godo's Logic MTL

Журнал:

Franco Montagna, Hiroakira Ono

Рік:

2002

Файл:

PDF, 1.86 MB

2002

Kripke Semantics, Undecidability and Standard Completeness for Esteva and Godo's Logic MTL∀

Журнал:

Montagna, Franco, Pianigiani, Duccio

Рік:

2002

Файл:

PDF, 667 KB

2002

A Short Note on Essentially Σ1Sentences

Журнал:

Logica Universalis

Рік:

2013

Мова:

english

Файл:

PDF, 206 KB

english, 2013

[Outstanding Contributions to Logic] Petr Hájek on Mathematical Fuzzy Logic Volume 6 ||

Montagna, Franco

Рік:

2015

Мова:

english

Файл:

PDF, 4.96 MB

english, 2015

Some properties of the syntactic p-recursion categories generated by consistent, recursively enumerable extensions of Peano arithmetic.

Paola, Robert A. Di, Montagna, Franco

Журнал:

Journal of Symbolic Logic

Рік:

1991

Мова:

english

Файл:

PDF, 1.08 MB

english, 1991

Provability in finite subtheories of PA and relative interpretability: a modal investigation

Montagna, Franco

Журнал:

Journal of Symbolic Logic

Рік:

1987

Мова:

english

Файл:

PDF, 982 KB

english, 1987

Trakhtenbrot Theorem and First-Order Axiomatic Extensions of MTL

Bianchi, Matteo, Montagna, Franco

Журнал:

Viroli, Mirko, Pianini, Danilo, Montagna, Sara, Stevenson, Graeme, Zambonelli, Franco

Рік:

2015

Мова:

english

Файл:

PDF, 554 KB

english, 2015

A coordination model of pervasive service ecosystems

Журнал:

Science of Computer Programming

Рік:

2015

Мова:

english

Файл:

PDF, 2.41 MB

english, 2015

Systemic Sclerosis

FERRI, CLODOVEO, VALENTINI, GABRIELE, COZZI, FRANCO, SEBASTIANI, MARCO, MICHELASSI, CLAUDIO, LA MONTAGNA, GIOVANNI, BULLO, ARIANNA, CAZZATO, MASSIMILIANO, TIRRI, ENRICO, STORINO, FRANCA, GIUGGIOLI, DI

Журнал:

Medicine (Williams & Wilkins)

Рік:

2002

Мова:

english

Файл:

PDF, 3.67 MB

english, 2002

Erratum to: Trakhtenbrot Theorem and First-Order Axiomatic Extensions of MTL

Bianchi, Matteo, Montagna, Franco

Журнал:

Рік:

2015

Файл:

PDF, 196 KB

2015

Relatively Precomplete Numerations and Arithmetic

Journal of Philosophical Logic

Журнал:

Рік:

1982

Мова:

english

Файл:

PDF, 943 KB

english, 1982

Dedicated to the Memory of Leo Esakia || Δ-core Fuzzy Logics with Propositional Quantifiers, Quantifier Elimination and Uniform Craig Interpolation

Журнал:

Рік:

2012

Мова:

english

Файл:

PDF, 2.20 MB

english, 2012

Interpretations of the First-Order Theory of Diagonalizable Algebras in Peano Arithmetic

Журнал:

Dick H. J. de Jongh and Franco Montagna

Рік:

1980

Мова:

english

Файл:

PDF, 918 KB

english, 1980

Generic Generalized Rosser Fixed Points

Журнал:

Francesc Esteva, Joan Gispert, Lluís Godo and Franco Montagna

Рік:

1987

Мова:

english

Файл:

PDF, 1.40 MB

english, 1987

On the Standard and Rational Completeness of Some Axiomatic Extensions of the Monoidal T-Norm Logic

Журнал:

Dobson, Simon, Viroli, Mirko, Fernandez-Marquez, Jose Luis, Zambonelli, Franco, Stevenson, Graeme, Di Marzo Serugendo, Giovanna, Montagna, Sara, Pianini, Danilo, Ye, Juan, Castelli, Gabriella, Rosi, A

Рік:

2002

Мова:

english

Файл:

PDF, 2.83 MB

english, 2002

Spatial awareness in pervasive ecosystems

Журнал:

The Knowledge Engineering Review

Рік:

2016

Мова:

english

Файл:

PDF, 601 KB

english, 2016

Complementing Agents with Cognitive Services: A Case Study in Healthcare

Montagna, Sara, Mariani, Stefano, Gamberini, Emiliano, Ricci, Alessandro, Zambonelli, Franco

Журнал:

Journal of Medical Systems

Рік:

2020

Файл:

PDF, 802 KB

2020

Marked and sustained improvement two years after autologous stem cell transplantation in a girl with systemic sclerosis

Alberto Martini, Rita Maccario, Angelo Ravelli, Daniela Montagna, Fabrizio De Benedetti, Federico Bonetti, Stefania Viola, Marco Zecca, Cesare Perotti, Franco Locatelli

Журнал:

Arthritis & Rheumatism

Рік:

1999

Мова:

english

Файл:

PDF, 101 KB

english, 1999

Ex vivo generation and expansion of anti-tumor cytotoxic T-cell lines derived from patients or their HLA-identical sibling

Daniela Montagna, Roberta Schiavo, Nadia Gibelli, Paolo Pedrazzoli, Roberto Tonelli, Sara Pagani, Elisa Assirelli, Franco Locatelli, Andrea Pession, Vittorio Fregoni, Elisa Montini, Gian Antonio Da Pr

Журнал:

International Journal of Cancer

Рік:

2004

Мова:

english

Файл:

PDF, 304 KB

english, 2004

A COMPLETENESS RESULT FOR FIXED-POINT ALGEBRAS

Журнал:

Рік:

1984

Мова:

english

Файл:

PDF, 468 KB

english, 1984

Iterated Extensional Rosser's Fixed Points and Hyperhyperdiagonalizable Algebras

Журнал:

Dick De Jongh, Franco Montagna

Рік:

1987

Мова:

english

Файл:

PDF, 605 KB

english, 1987

Provable Fixed Points

Журнал:

Alessandra Carbone, Franco Montagna

Рік:

1988

Мова:

english

Файл:

PDF, 1.26 MB

english, 1988

Rosser Orderings in Bimodal Logics

Журнал:

Dick de Jongh, Franco Montagna

Рік:

1989

Мова:

english

Файл:

PDF, 902 KB

english, 1989

Much Shorter Proofs

Журнал:

Alessandra Carbone, Franco Montagna

Рік:

1989

Мова:

english

Файл:

PDF, 879 KB

english, 1989

Much shorter proofs: A bimodal investigation

Журнал:

Sandra Fontani, Franco Montagna, Andrea Sorbi

Рік:

1990

Мова:

english

Файл:

PDF, 1.14 MB

english, 1990

A Note on Relative Efficiency of Axiom Systems

Журнал:

Franco Montagna, Lorenzo Sacchetti

Рік:

1994

Мова:

english

Файл:

PDF, 664 KB

english, 1994

Corrigendum to “Kripke-style semantics for many-valued logics”

Журнал:

Petr Hájek, Franco Montagna

Рік:

2004

Мова:

english

Файл:

PDF, 90 KB

english, 2004

A note on the first-order logic of complete BL-chains

Журнал:

Рік:

2008

Мова:

english

Файл:

PDF, 159 KB

english, 2008

Interpolation and Beth’s property in propositional many-valued logics: A semantic investigation